transition:  
r1-c-r2;
r1-b-r3;
r1-a-r1;
r3-a-r1;
r3-c-r4;
r3-d-r5;
r4-b-r8;
r5-c-r6;
r1-b-r6;
r6-a-r7;
r5-a-r8;
r8-c-r9;
r6-c-r9;
r9-d-r10;
initial:
r1;
final:
r1;
r2;
r7;
r10.